Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·6h
✅Type Checking
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·7h·
Discuss: Hacker News
🔀SSA Construction
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
Detecting Distillation Data from Reasoning Models
arxiv.org·6h
✅Type Checking
Beating the L1 cache with value speculation (2021)
mazzo.li·18h·
Discuss: Lobsters, Hacker News
🔮Branch Predictors
Online activities 6 – 12 October
ests.wordpress.com·1h
🔗Category Theory
What happened to Longcat models? Why are there no quants available?
huggingface.co·16h·
Discuss: r/LocalLLaMA
✨Gleam
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·6h
🎭Program Synthesis
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·6h
🧩Constraint Solvers
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·18h·
Discuss: Hacker News
🗺️Region Inference
From Noisy Traces to Stable Gradients: Bias-Variance Optimized Preference Optimization for Aligning Large Reasoning Models
arxiv.org·6h
⚡Partial Evaluation
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·19h·
Discuss: Lobsters, Hacker News, r/javascript
🗃️Query Compilation
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·6h
🪜Recursive Descent
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·14h
⚡functional programming
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
📱Bytecode Design
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Causal Abstractions, Categorically Unified
arxiv.org·6h
💫Effect Systems
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·6h
🎭Staged Interpreters